Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis

We examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. Our approach starts from a desired parametric polynomial form of the polynomial Lyapunov function. Subsequently, we encode the positive-definiteness of the function, and the negation of its derivative, over the domain of interest. We first compare two cl...

Common Polynomial Lyapunov Functions for Linear Switched Systems

In this paper, we consider linear switched systems ẋ(t) = Au(t)x(t), x ∈ R, u ∈ U , and the problem of asymptotic stability for arbitrary switching functions, uniform with respect to switching (UAS for short). We first prove that, given a UAS system, it is always possible to build a common polynomial Lyapunov function. Then our main result is that the degree of that common polynomial Lyapunov f...

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations

In this paper we propose a new method for reachability analysis of the class of discrete-time polynomial dynamical systems. Our work is based on the approach combining the use of template polyhedra and optimization [25, 7]. These problems are non-convex and are therefore generally difficult to solve exactly. Using the Bernstein form of polynomials, we define a set of equivalent problems which c...

Control Lyapunov Function Based Feedback Design for Quasi-Polynomial Systems

The aim of this work is to present an entropy-like Lyapunov function based dynamic feedback design technique for quasi-polynomial and Lotka-Volterra systems. It is shown, that the dynamic feedback design problem is equivalent to the feasibility of a bilinear matrix inequality. The problem is also formulated as a control Lyapunov function based feedback design when the Lyapunov function paramete...

Convex relaxations for cubic polynomial problems